Real-time Estelle Real-time Estelle

Implementation of Multimedia Systems based on Real-Time Extensions of Estelle

Estelle is one of the standardized Formal Description Techniques for the speci cation of communication protocols and distributed systems. Unfortunately, Estelle is not capable of expressing real-time requirements resp. characteristics of services or protocols which are especially interesting in the context of distributed multimedia systems. Therefore, we developed an extension to Estelle called...

Real Time and Estelle: A Comparison of Approaches

Formal Methods for Broadband and Multimedia Systems

The proper capture of desired system properties is a pivotal step in providing high quality systems. The formal specification of these properties is necessary to provide unambiguous documentation as well as automated transformation of Ž . system requirements during all stages of the life cycle. The standardized Formal Description Techniques FDTs Estelle and SDL have proved useful for the specif...

Optimum Test Sequence Generation from Estelle Specifications

The recent research results from the Protocol Engineering Lab of the University of Delaware in minimum-length test generation based on Estelle speci cations are summarized. The methods use models restricting the number of self-loops to be consecutively traversed for each state, and utilizing semicontrollable interfaces of the IUT to increase the number of testable transitions. The initial resul...

On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications

Implementations automatically derived from formal descriptions often do not fulfill the performance requirements of real-life applications. There are several reasons for this. In the paper, we address two of these issues for the FDT Estelle. The first issue has to do with the impact of the Estelle semantics on the code generation. We show that a performance gain can be achieved, if the module a...